Diagnosability of Vector Discrete-Event Systems Using Predicates
نویسندگان
چکیده
منابع مشابه
Diagnosability Analysis of Distributed Discrete Event Systems
This paper addresses the diagnosability problem of distributed discrete event systems. Until now, the problem of diagnosability has always been solved by considering centralised approaches, monolithic systems. These approaches do not use the fact that real monitored systems are generally modelled in a distributed manner. In this paper, we propose a framework for the diagnosability analysis of s...
متن کاملDiagnosability of Fuzzy Discrete Event Systems
In order to more effectively cope with the real-world problems of vagueness, fuzzy discrete event systems (FDESs) were proposed recently, and the supervisory control theory of FDESs was developed. In view of the importance of failure diagnosis, in this paper, we present an approach of the failure diagnosis in the framework of FDESs. More specifically: (1) We formalize the definition of diagnosa...
متن کاملGeneralized Robust Diagnosability of Discrete Event Systems
We address the problem of robust diagnosability of discrete event systems described by a class of automata, where each automaton in the class generates a distinct language. We introduce a new definition which generalizes all previous definitions of robust diagnosability; for this reason it is referred here to as generalized robust diagnosability. We also present a necessary and sufficient condi...
متن کاملSafe diagnosability of discrete event systems
The problem of safe failure diagnosis in discrete event systems is addressed. Starting from the standard definition of diagnosability of discrete event systems, which deals with the problem of detecting the occurrence of an unobservable event using the available observations on the system, the problem of performing the detection before the system executes a forbidden string is introduced. For e...
متن کاملDecentralized Diagnosability Analysis of Discrete Event Systems using Petri Nets
In this paper we present a procedure to analyze the diagnosability of a Petri net system in a decentralized framework. We recall the definition of failure ambiguous strings, i.e., strings that can be both faulty or not in the decentralized case, while can be distinguished in a centralized framework. We first prove that the absence of such kind of strings guarantees that the system is diagnosabl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2019
ISSN: 2169-3536
DOI: 10.1109/access.2019.2945132